Prokopyev S. E. «USING TEMPORARY LOGICS AND MODEL CHECKERS FOR DYNAMIC CONTROL ABNORMAL DEVIATIONS OF THE SYSTEM» // 2010. №1(7) C.37-42
Prokopyev S. E. «Modelling of the PKI protocols in the universally composableframework using model checkers » // 2009. №1(3) C.79-92